package redfin1;

import org.junit.Test;

public class r3 {
	@Test
	public void attest(){
		System.out.println("Red3.1");
		System.out.println("Red3.2");
}
}
